Homotopy composition of cospans
نویسندگان
چکیده
It is well known that the category of finite sets and cospans, composed by pushout, contains the universal special commutative Frobenius algebra. In this note we observe that the same construction yields also general commutative Frobenius algebras, if just the pushouts are changed to homotopy pushouts.
منابع مشابه
Collared Cospans , Cohomotopy and Tqft ( Cospans in Algebraic Topology , Ii )
Topological cospans and their concatenation, by pushout, appear in the theories of tangles, ribbons, cobordisms, etc. Various algebraic invariants have been introduced for their study, which it would be interesting to link with the standard tools of Algebraic Topology, (co)homotopy and (co)homology functors. Here we introduce collarable (and collared) cospans between topological spaces. They ge...
متن کاملCubical Cospans and Higher Cobordisms (cospans in Algebraic Topology, Iii)
After two papers on weak cubical categories and collarable cospans, respectively, we put things together and construct a weak cubical category of cubical collared cospans of topological spaces. We also build a second structure, called a quasi cubical category, formed of arbitrary cubical cospans concatenated by homotopy pushouts. This structure, simpler but weaker, has lax identities. It contai...
متن کاملCospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems
We develop further the algebra of cospans and spans of graphs introduced by Katis, Sabadini and Walters [11] for the sequential and parallel composition of processes, adding here data types.
متن کاملHigher Cospans and Weak Cubical Categories (cospans in Algebraic Topology, I)
We define a notion of weak cubical category, abstracted from the structure of n-cubical cospans x : ∧ → X in a category X, where ∧ is the ‘formal cospan’ category. These diagrams form a cubical set with compositions x +i y in all directions, which are computed using pushouts and behave ‘categorically’ in a weak sense, up to suitable comparisons. Actually, we work with a ‘symmetric cubical struc...
متن کاملHigher Cospans and Weak Cubical Categories ( Cospans in Algebraic Topology , I ) Marco
We define a notion of weak cubical category, abstracted from the structure of n-cubical cospans x : ∧ → X in a category X, where ∧ is the ‘formal cospan’ category. These diagrams form a cubical set with compositions x +i y in all directions, which are computed using pushouts and behave ‘categorically’ in a weak sense, up to suitable comparisons. Actually, we work with a ‘symmetric cubical struc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1602.08739 شماره
صفحات -
تاریخ انتشار 2016